digraph TS_1 {
a1 -> a2 [label="a"]
a2 -> a1 [label="c"]
[initial = {a1} ]
[final = {a1} ]
}

